Performance Analysis of a Hybrid Electric Ship by Real-Time Verification

نویسندگان

چکیده

International maritime transport organizations are proposing regulatory actions and strategies aimed at decarbonizing the sector to reduce its greenhouse gas (GHG) emissions, which currently constitute around 3% of global total. Hybrid propulsion systems have significant potential in this respect, as a means power-saving ships. This paper describes high-fidelity benchmark for hybrid-electric vessels, combining diesel generators batteries. The consists detailed models, parameters provided so that models can be reproduced. proposed ship topology control system was validated using real-time hardware-in-the-loop (HIL) simulations on Typhoon HIL402 platform. results provide analysis operation different components under varying conditions, should useful prototyping these kinds systems. In addition, response evaluated with regard disturbances resulting from system’s operation. show performed correctly during transitory events, no undesirable responses.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Behavior verification of hybrid real-time requirements by qualitative formalism

Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze the qualitative properties of hybrid real-time systems. In this paper, we propose the use of qualitative formal methods, Compositional Modeling Language (CML) and Causal Functional Representation Language (CFRL) in part...

متن کامل

Safety Verification of Real Time Systems Serving Periodic Devices

In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...

متن کامل

A two-stage stochastic programming model for the optimal sizing of hybrid PV/diesel/battery in hybrid electric ship system

Ships play the major role in bulk transportation and they need their special energy system. This paper proposes a stochastic programing method for optimal sizing of a hybrid ship power system with energy storage system (ESS), photovoltaic power (PV) and diesel generator. To account for uncertainties, in this study a two-stage stochastic mixed-integer non-linear programing is used to model the o...

متن کامل

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Particular attention will be given to the theory of the underlying formalisms of the UPPAAL tool suite, including: timed automata, priced timed automata, and (priced) timed games addressing a number of associated decision problems related to model-checking and optimal scheduling and strategies. The lectures will highlight the by now classical region-construction underlying the decidability of s...

متن کامل

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems

This paper presents a compositional and hybrid approach for the performance analysis of distributed real-time systems. The developed methodology abstracts system components by either flow-oriented and purely analytic descriptions or by state-based models in the form of timed automata. The interaction among the heterogeneous components is modeled by streams of discrete events. In total this yiel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Energies

سال: 2022

ISSN: ['1996-1073']

DOI: https://doi.org/10.3390/en15062116